Proceedings 6th Workshop on Mathematically Structured Functional Programming
نویسندگان
چکیده
منابع مشابه
Mathematically Structured but not Necessarily Functional Programming ( Extended Abstract )
Realizability is an interpretation of intuitionistic logic which subsumes the Curry-Howard interpretation of propositions as types, because it allows the realizers to use computational effects such as non-termination, store and exceptions. Therefore, we can use realizability as a framework for program development and extraction which allows any style of programming, not just the purely function...
متن کاملProceedings of the Fifth Workshop on Scheme and Functional Programming
This paper describes and discusses two different Scheme documentation tools. The first is SchemeDoc, which is intended for documentation of the interfaces of Scheme libraries (APIs). The second is the Scheme Elucidator, which is for internal documentation of Scheme programs. Although the tools are separate and intended for different documentation purposes they are related to each other in sever...
متن کاملProceedings of the Aspect - Oriented Programming Workshop
Includes the workshop report and the position papers. 1 2 3 1 2 3 2 Abstract.
متن کاملInformal Proceedings of the 19th WorkShop on Functional and (Constraint) Logic Programming
Sessions are a common and widespread mechanism of interaction in distributed architectures. The processes willing to interact establish a connection on a shared public channel. In this connection they agree on some private channel on which to have a conversation, dubbed session. The conversation follows a given protocol which describes the kind and order of the messages exchanged on the private...
متن کاملProceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education
The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional programming as a tool for teaching other topics, e.g. computational concepts, complexity, logic and reasoning, and even disciplines, e.g. philosophy or music. TFPIE ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.207.0